symbolic transition graph with assignment
Timed Symbolic Transition Graph
symbolic transition system
ATD Address Transition Detect
Antipodal Finline Transition
ANTIFERROMAGNETIC TRANSITION
Antiferromagnetic phase transition
antiferroelectric phase transition
antiferrodistortive transition
and Transition principle